Computability theory

Results: 1231



#Item
801Mathematical logic / Programming idioms / Theoretical computer science / MicroWorlds JR / MicroWorlds / Logo / Computability theory / Recursion / Algorithm / Computer programming / Software engineering / Computing

MicroWorlds, Computational Thinking, and 21st Century Learning LCSI White Paper Author: Susan Einhorn

Add to Reading List

Source URL: www.microworlds.com

Language: English - Date: 2013-03-07 03:45:07
802Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: anorien.csc.warwick.ac.uk

Language: English - Date: 2013-08-06 12:14:00
803Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: shadow.ind.ntou.edu.tw

Language: English - Date: 2013-08-06 13:14:53
804Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.jaist.ac.jp

Language: English - Date: 2013-08-06 13:14:53
805Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.mines-albi.fr

Language: English - Date: 2013-08-06 13:14:53
806Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.ijs.si

Language: English - Date: 2013-08-06 12:14:00
807Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.klaus-uwe.me

Language: English - Date: 2013-08-06 12:14:00
808Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirrors.ustc.edu.cn

Language: English - Date: 2013-08-06 12:14:00
809Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.isoc.org.il

Language: English - Date: 2013-08-06 12:14:00
810Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.space-pro.be

Language: English - Date: 2013-08-06 13:14:53
UPDATE